基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

铁路区间信号系统测试评估平台——信号设备与列车运行仿真研究

铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求.     

大深度复合同振式矢量水听器设计

针对目前深海无人移动平台缺乏与其工作深度相匹配的复合同振式矢量水听器的问题,采用薄壁铝合金球壳作为矢量通道,压电陶瓷圆环作为声压通道,设计制作了一型大深度复合同振式矢量水听器,并用理论计算、有限元仿真和实验测试的方法对其声学性能和耐压性能进行了验证。该水听器的外径为85 mm,质量为398 g,平均密度为1 240 kg/m~3,工作频段为20～3 000 Hz,矢量通道呈余弦指向性,灵敏度为-187 dB@500 Hz,声压通道无指向性,灵敏度为-191 dB@500 Hz,耐压深度为2 000 m。海上试验表明,该水听器能够搭载在水下滑翔机等深海无人平台上执行声学探测任务,在大深度声学探测领域具有重大的应用价值。     

【专题】“无人系统自主性与智能化”专题编者按

地空协同无人系统作为新质跨域智能作战力量已成为世界强国开展军事技术竞争的前沿方向。本文首先总结了地空协同无人系统的概念、功能及发展目标,分析了世界主要国家制定的专项规划,从形成智能作战体系、改变战场攻防平衡及全面提高作战效能三个方面阐述了地空协同无人系统对未来战争的重大意义;其次,针对其面临的环境复杂、资源受限和平台异构等约束条件,从分布式态势认知、适应性智能导航及异构系统协同控制等方面总结了地空协同无人系统需要突破的关键技术;最后,为应对智能化战争挑战,从技术瓶颈、平台建设及政策支持等方面提出发展建议。该研究可为地空协同无人系统在国防科技领域的研究、应用和发展提供参考。     

【邀请论文】基于区块链环境的军队审计作业平台建设构想

在信息技术高速发展、社会经济水平不断进步的背景下,被审计单位经济活动日益复杂,军队审计要想全面履行监督职责,必须不断丰富手段方式,创新技术方法。区块链技术去中心化的特点有利于提高数据存储的完整性、可靠性,可追溯特点有利于验证信息的真实性,公开透明、不可篡改的特点正与审计对证据安全性的要求不谋而合,利用区块链智能合约可编程的特点还可以根据不同审计场景设计出智能、灵活、实时、全程的审计范式。为探究区块链技术与军队审计作业平台的结合应用,本文结合区块链技术特点和军队审计实际,在分析构建区块链环境下军队审计作业平台必要性和可行性的基础上,提出基于区块链环境的军队审计作业平台建设构想及保障措施,以助力军队审计信息化发展,加速军队审计现代化进程。     

静电放电及其抗扰度试验的研究现状与发展趋势

在综述ESD测试和抗扰度试验研究状况基础上,指出该研究领域当前需要进一步研究的问题和发展方向。静电放电的深入研究对现代电子设备(系统)的快速发展具有十分重要的意义。     

距离伪量测的空基平台单站无源定位算法

针对空中观测单站平台对海面、地面目标的测向定位问题,提出一种基于距离伪量测的最小二乘-不敏卡尔曼滤波(LSE-UKF)两阶段滤波算法。首先利用单次的测角信息以及目标离地高度的约束条件计算出目标的距离,采用最小二乘法对距离量进行滤波,得到较为准确的距离量。进一步将滤波所得距离量视为伪量测信息,结合观测所得的角度信息进行不敏卡尔曼滤波。仿真实验表明该算法提高了定位精度并且具有较快收敛速度。     

基于Contiki的无线传感器网络平台设计与实现

无线传感器网络由大量节点组成,网络面临的问题很难全部被仿真工具描述,因而由仿真得到的无线传感器网络应当在部署之前进行物理测试.根据无线传感器网络节点的一般架构,设计完成了一批体积小、成本低、功耗低、硬件资源丰富和代码开源的无线传感器节点,组建了一个无线传感器网络实验平台.在平台上移植了Contiki操作系统管理节点的软硬件资源,设计实现了射频芯片、串行接口和温度传感器的驱动程序.采用6LowPAN协议构建自组织网络,验证了平台的节点通信半径和组网效果.试验表明该平台完整支持6LowPAN协议,采集数据的可靠性、网络的健壮性和通信半径等指标,可以满足无线传感器网络节点定位与环境变量检测等应用的需求.     

一种分布式战术防空C3I系统仿真平台的框架结构研究

详细给出了分布式战术防空C3I系统仿真平台构建的总体设计及具体的网络平台方案。引入了高层体系结构 ,并将其技术规范应用到仿真平台的互联上 ,从而形成新一代的分布交互仿真系统。     

分布式多平台态势一致性的实现机制

联合作战是现代战争的主要作战形式,参与联合作战的平台之间需要进行情报共享,形成协同一致的战场态势图。重点研究了Link16在分布式多平台之间实现态势一致性的机制,分析了其总体思路、采用的处理流程和方法、使用的消息种类、存在的问题和不足,并结合我军实际,提出了分布式多平台态势一致性的系统架构和实现方法。